221. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
222. Logic and integer programmin
المؤلف: / by H. Paul Williams
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic programming.,Integer programming.
رده :
QA
,
76
.
63
,.
W55
,
2009
223. Logic and integer programming
المؤلف: Williams, H. P.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic programming,، Integer programming
رده :
QA
76
.
63
.
W55
2009
224. Logic and its applications
المؤلف: Burke, Edmund
المکتبة: (طهران)
موضوع: Logic programming , Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
B87
1996
225. Logic and its applications
المؤلف: Burke, Edmund
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
B87
1996
226. Logic and objects
المؤلف: McCabe, Francis G.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Logic programming )Computer science(
رده :
QA
76
.
63
.
M42
1992
227. Logic and program semantics
المؤلف: Robert L. Constable, Alexandra Silva (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic,Computer programming,Software engineering
رده :
QA76
.
9
.
L63
L64
2012eb
228. Logic-based methods for optimization :
المؤلف: John Hooker.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Linear programming.,Logic, Symbolic and mathematical.,Mathematical optimization.
رده :
T57
.
74
J646
2000
229. Logic-based methods for optimization: combining and constraint satisfaction
المؤلف: John Hooker
المکتبة: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع: Linear programming,Mathematical optimization,Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H66
2000
230. Logic-based methods for optimization: combining optimization and constraint satisfaction
المؤلف: Hooker, John
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H66
2000
231. Logic-based methods for optimization : combining optimization and constraint satisfaction
المؤلف: Hooker, John, 9491-
المکتبة: (طهران)
موضوع: ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H6
232. Logic-based program synthesis and transformatio
المؤلف: / Annalisa Bossi (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic programming--Congresses
رده :
QA
,
76
.
63
.,
I57
,
2000
233. Logic based program synthesis and transformation
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming ; Congresses. ;
234. Logic based program synthesis and transformation
المؤلف: / Alberto Pettorossi, ed
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic programming--Congresses
رده :
QA
,
76
.
63
,.
I57
,
2001
RC
,
458
,.
S43
235. Logic based program synthesis and transformation :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming ; Congresses. ;
236. Logic-based program synthesis and transformation
المؤلف: Elvira Albert (ed.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic, Congresses,Computer software-- Development, Congresses,Logic programming, Congresses
رده :
QA76
.
63
.
L67
2012
237. Logic based program synthesis and transformation
المؤلف: / Patricia M. Hill (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic programming--Congresses
رده :
QA
,
76
.
63
,.
L69
,
2005
238. Logic-based program synthesis and transformation :
المؤلف: Fred Mesnard, Peter J. Stuckey (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
رده :
QA76
.
63
239. Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
المؤلف: Sandro Etalle )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3573
240. Logic based program synthesis and transformation :11th International Workshop, LOPSTER 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
المؤلف: Alberto Pettorossi, )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2372
